Incremental Theory Closure Reasoning for Large Scale Knowledge Graphs
نویسندگان
چکیده
منابع مشابه
Querying Large-scale Knowledge Graphs
Querying Large-scale Knowledge Graphs Shengqi Yang With the rise of the Internet, social computing and numerous mobile applications have brought about a large amount of unstructured entity data, including places, events, and things. On one hand, the entity data, populated by a variety of data sources, is growing at an ever increasing speed. On the other hand, the service suppliers expect to ren...
متن کاملIncremental Theory Reasoning Methods
Theory reasoning is an important technique for increasing the eeciency of automated deduction systems. In this paper we present incremental theory reasoning, a method that improves the interaction between the foreground reasoner and the background (theory) reasoner and, thus, the eeciency of the combined system. The use of incremental theory reasoning in free variable semantic tableaux and the ...
متن کاملIncremental Knowledge Acquisition for Non-Monotonic Reasoning
The use of conventional non-monotonic reasoning tools in real-sized knowledge-based applications is hindered by the fact that the knowledge acquisition phase cannot be accomplished in the incremental way that is instead typical of knowledge base management systems based on monotonic logics. As a result, some researchers have departed from orthodox non-monotonic formalisms and proposed languages...
متن کاملIncremental Theory Reasoning Methods forSemantic
Theory reasoning is an important technique for increasing the eeciency of automated deduction systems. In this paper we present incremental theory reasoning, a method that improves the interaction between the foreground reasoner and the background (theory) reasoner and, thus, the eeciency of the combined system. The use of incremental theory reasoning in free variable semantic tableaux and the ...
متن کاملIncremental Learning for Large Scale Churn Prediction
Modern companies accumulate a vast amount of customer data that can be used for creating a personalized experience. Analyzing this data is difficult and most business intelligence tools cannot cope with the volume of the data. One example is churn prediction, where the cost of retaining existing customers is less than acquiring new ones. Several data mining and machine learning approaches can b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2019
ISSN: 2169-3536
DOI: 10.1109/access.2019.2900297